state and prove abel's lemma